Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan
1
Argumentación deductiva con diagramas y árboles de forzamiento.

Argumentación deductiva con diagramas y árboles de forzamiento.

Tahun:
2010
Bahasa:
spanish
Fail:
PDF, 2.27 MB
0 / 5.0
spanish, 2010
2
Lógica básica para la verdad aristotélica.

Lógica básica para la verdad aristotélica.

Tahun:
2010
Bahasa:
spanish
Fail:
PDF, 1.81 MB
0 / 5.0
spanish, 2010
3
Talleres de matemáticas discretas. Texto, lógica y conjuntos.

Talleres de matemáticas discretas. Texto, lógica y conjuntos.

Tahun:
2010
Bahasa:
spanish
Fail:
PDF, 2.13 MB
0 / 5.0
spanish, 2010
4
Inferencia visual para la lógica básica paraconsistente y paracompleta.

Inferencia visual para la lógica básica paraconsistente y paracompleta.

Tahun:
2003
Bahasa:
spanish
Fail:
PDF, 1.69 MB
0 / 5.0
spanish, 2003
5
Árboles de forzamiento semántico para la Lógica Básica con afirmación y negación alternas.

Árboles de forzamiento semántico para la Lógica Básica con afirmación y negación alternas.

Tahun:
2004
Bahasa:
spanish
Fail:
PDF, 680 KB
0 / 5.0
spanish, 2004
7
Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo

Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo

Tahun:
2002
Bahasa:
spanish
Fail:
PDF, 776 KB
0 / 5.0
spanish, 2002
9
Inferencia Visual para la Lógica Básica. Paraconsistente y paracompleta.

Inferencia Visual para la Lógica Básica. Paraconsistente y paracompleta.

Tahun:
2003
Bahasa:
spanish
Fail:
PDF, 1.69 MB
0 / 5.0
spanish, 2003